Nominalization, predication and type containment

Exploring Type Containment

Our goal is to study type containment, some variations on the type-containment relation, and how it can be extended to other programming language features such as products, side effects, existential types. We will study some language meta-theoretical properties. Notre but est d’étudier le type containment, quelques variantes sur la relation de type containment, et comment elle peut être étendue...

Exploring Type Containment

Our goal is to study type containment, some variations on the type-containment relation, and how it can be extended to other programming language features such as products, side effects, existential types. We will study some language meta-theoretical properties. Notre but est d’étudier le type containment, quelques variantes sur la relation de type containment, et comment elle peut être étendue...

Predication 1 Predication

Statives and Nominalization

No event reading Event reading No agent-oriented modifiers Agent-oriented modifiers Subjects are possessives subjects are arguments by phrases are non-arguments by phrases are arguments No implicit argument control Implicit argument control No aspectual modifiers Aspectual modifiers Modifiers like frequent, constant only with plural Modifiers like frequent, constant appear with singular May be ...

Predication